window: Check whether the new focus widget is the old one

We generally do that for all properties.

diff --git a/gtk/gtkwindow.c b/gtk/gtkwindow.c
index b3cb887443449630bdbf863e1c4aeae9214c7aa6..fd12df32661e2b9744b034b26bb1157895001619 100644 (file)
--- a/gtk/gtkwindow.c
+++ b/gtk/gtkwindow.c
@@ -6524,6 +6524,9 @@ gtk_window_set_focus (GtkWindow *window,
   if (focus && !gtk_widget_is_sensitive (focus))
     return;
 
+  if (focus == priv->focus_widget)
+    return;
+
   if (priv->focus_widget)
     old_focus = g_object_ref (priv->focus_widget);
   g_set_object (&priv->focus_widget, NULL);